13.37/16.63	unsat
