7.47/13.12	unsat
