13.47/16.46	unsat
