101.60/103.37	unsat
