100.04/103.04	unsat
