13.47/17.32	unsat
