12.66/13.66	unsat
