7.18/14.68	unsat
