101.78/102.02	unsat
