1.49/2.06	unsat
