101.30/102.73	unsat
