41.69/42.65	unsat
