12.79/12.80	unsat
