40.60/40.71	unsat
