41.68/42.93	unsat
