41.94/42.08	unsat
