13.17/16.51	unsat
