100.67/102.52	unsat
