14.96/18.16	unsat
