1.88/2.06	unsat
