2.88/6.06	unsat
