41.66/46.16	unsat
