101.49/102.12	unsat
