8.40/10.06	unsat
