13.67/18.16	unsat
