13.27/18.08	unsat
