9.47/12.03	unsat
