14.79/17.80	unsat
