5.11/7.66	unsat
