103.21/104.98	unsat
