42.57/42.79	unsat
