101.71/103.93	unsat
