11.84/14.10	unsat
