11.77/14.96	unsat
