14.86/18.14	unsat
