2.59/4.06	unsat
