9.68/12.39	unsat
