42.89/45.06	unsat
