101.17/101.32	unsat
