9.46/10.39	unsat
