102.67/106.71	unsat
