41.92/43.16	unsat
