14.94/16.13	unsat
