8.18/13.68	unsat
