13.47/16.49	unsat
