40.57/42.06	unsat
