40.34/42.65	unsat
