13.07/17.66	unsat
