8.35/11.72	unsat
