102.99/104.71	unsat
