40.44/42.65	unsat
