2.98/3.06	unsat
