41.27/47.78	unsat
