101.46/103.29	unsat
