101.77/104.37	unsat
