13.75/15.52	unsat
