9.98/13.94	unsat
