12.79/14.80	unsat
