8.42/8.94	unsat
