13.62/16.69	unsat
