8.27/13.94	unsat
