2.59/3.06	unsat
