100.76/102.26	unsat
