14.37/17.94	unsat
