100.24/143.38	unsat
