14.77/17.16	unsat
