14.36/16.08	unsat
