41.75/42.32	unsat
