8.37/10.06	unsat
