0.98/1.06	unsat
