40.19/41.45	unsat
