101.54/104.95	unsat
