13.17/16.02	unsat
