12.79/13.18	unsat
