9.61/12.39	unsat
