38.87/42.40	unsat
