13.17/14.77	unsat
