100.14/103.82	unsat
