101.80/102.04	unsat
