100.67/100.97	unsat
