37.57/40.03	unsat
