6.18/13.66	unsat
